Actions algébriques de groupes arithmétiques

Nous obtenons un résultat général de finitude pour le H1 de certains schémas en groupes linéaires sur les anneaux de (S-)entiers des corps globaux

Determination of brazed joint constitutive law by inverse method

An important parameter often neglected for the calculation of residual stresses in brazed ceramic/metal assemblies is the joint constitutive law. In situ camber measurements on a model system (axisymmetric TZM/InCuSil ABA/316L samples) performed using a special vertical dilatometer during the whole brazing thermal cycle are compared with results of FEM calculations based on published filler metal constitutive laws. A strong disagreement is observed. Actual constitutive law of the joint is determined from these measurements using a numerical inverse method. Calculated displacements are fully consistent with experimental ones. True solidification temperature of the joint is determined. The identified constitutive law of the joint exhibits a low flow stress from solidification temperature to 320°C

Portable and Accurate Collection of Calling-Context-Sensitive Bytecode Metrics for the Java Virtual Machine

Calling-context profiles and dynamic metrics at the bytecode level are important for profiling, workload characterization, program comprehension, and reverse engineering. Prevailing tools for collecting calling-context profiles or dynamic bytecode metrics often provide only incomplete information or suffer from limited compatibility with standard JVMs. However, completeness and accuracy of the profiles is essential for tasks such as workload characterization, and compatibility with standard JVMs is important to ensure that complex workloads can be executed. In this paper, we present the design and implementation of JP2, a new tool that profiles both the inter- and intra-procedural control flow of workloads on standard JVMs. JP2 produces calling-context profiles preserving callsite information, as well as execution statistics at the level of individual basic blocks of code. JP2 is complemented with scripts that compute various dynamic bytecode metrics from the profiles. As a case-study and tutorial on the use of JP2, we use it for cross-profiling for an embedded Java processor

A Quantitative Evaluation of the Contribution of Native Code to Java Workloads

Many performance analysis tools for Java focus on tracking executed bytecodes, but provide little support in determining the specific contribution of native code libraries. This paper introduces and assesses a portable approach for characterizing the amount of native code executed by Java applications. A profiling agent based on the JVM Tool Interface (JVMTI) accurately keeps track of all runtime transitions between bytecode and native code. It relies on a combination of JVMTI events, Java Native Interface (JNI) function interception, bytecode instrumentation, and hardware performance counters

Platform-independent profiling in a virtual execution environment

Virtual execution environments, such as the Java virtual machine, promote platform-independent software development. However, when it comes to analyzing algorithm complexity and performance bottlenecks, available tools focus on platform-specific metrics, such as the CPU time consumption on a particular system. Other drawbacks of many prevailing profiling tools are high overhead, significant measurement perturbation, as well as reduced portability of profiling tools, which are often implemented in platform-dependent native code. This article presents a novel profiling approach, which is entirely based on program transformation techniques, in order to build a profiling data structure that provides calling-context-sensitive program execution statistics. We explore the use of platform-independent profiling metrics in order to make the instrumentation entirely portable and to generate reproducible profiles. We implemented these ideas within a Java-based profiling tool called JP. A significant novelty is that this tool achieves complete bytecode coverage by statically instrumenting the core runtime libraries and dynamically instrumenting the rest of the code. JP provides a small and flexible API to write customized profiling agents in pure Java, which are periodically activated to process the collected profiling information. Performance measurements point out that, despite the presence of dynamic instrumentation, JP causes significantly less overhead than a prevailing tool for the profiling of Java code

A Note on Encodings of Phylogenetic Networks of Bounded Level

Driven by the need for better models that allow one to shed light into the question how life's diversity has evolved, phylogenetic networks have now joined phylogenetic trees in the center of phylogenetics research. Like phylogenetic trees, such networks canonically induce collections of phylogenetic trees, clusters, and triplets, respectively. Thus it is not surprising that many network approaches aim to reconstruct a phylogenetic network from such collections. Related to the well-studied perfect phylogeny problem, the following question is of fundamental importance in this context: When does one of the above collections encode (i.e. uniquely describe) the network that induces it? In this note, we present a complete answer to this question for the special case of a level-1 (phylogenetic) network by characterizing those level-1 networks for which an encoding in terms of one (or equivalently all) of the above collections exists. Given that this type of network forms the first layer of the rich hierarchy of level-k networks, k a non-negative integer, it is natural to wonder whether our arguments could be extended to members of that hierarchy for higher values for k. By giving examples, we show that this is not the case

Safety and Immunogenicity of a Genetically Engineered Human Immunodeficiency Virus Vaccine

A phase 1 trial of a candidate human immunodeficiency virus type 1 (HIV-I) vaccine was done in 25 healthy seronegative subjects. The antigen, env2-3 (SF2), was a nonglycosylated polypeptide representing the gp120 region of the env gene of the HIV-l(SF2) isolate. It was produced in genetically engineered yeast as a denatured molecule incapable of binding CD4. A synthetic lipophilic muramyl tripeptide (MTP-PE) was used as an adjuvant. Ten subjects received adjuvant alone and 15 received 50- or 25O-µg doses of env2-3 (SF2) administered intramuscularly in two immunization regimens. In general, adjuvant and vaccine were well tolerated. Antibody responses to both the homologous antigen, env2-3 (SF2), and antigens from other highly divergent HIV isolates were elicited in the majority of vaccine recipients. However, antibody titers were low, without neutralizing activity. In 9 of 11 subjects who received the complete vaccine immunization series, a significant specific T lymphocyte response was observe

Relationship between inpatient satisfaction and nurse absenteeism: an exploratory study using WHO-PATH performance indicators in France

<p>Abstract</p> <p>Background</p> <p>Indicators describing results of care are widely explored in term of patient satisfaction (PS). Among factors explaining PS, human resources indicators have been studied in terms of burnout or job satisfaction among healthcare professionals. No research work has set out to explore the effect of absenteeism on PS scores. The objective of this study was to explore interaction between rate of absenteeism among nurses and PS results.</p> <p>Methods</p> <p>France has taken part in a project named PATH (Performance Assessment Tool for Hospitals) of the World Health Organization, aiming to develop a tool for the assessment of hospital performance. In the first semester 2008, 25 volunteering short-stay hospitals (teaching, general and private) provide complete data on nurse short-absenteeism (periods of up to 7 consecutive days of sick leave) and on PS (a cross-sectional postal survey using a standardized validated French-language scale EQS-H exploring "quality of medical information" (MI) and "relationships with staff and daily routine" (RS)). A multi-level model was used to take into account of the hierarchical nature of the data.</p> <p>Results</p> <p>Two thousand and sixty-five patients responded to the satisfaction questionnaire (participation rate: 40.9%). The mean age of respondents was 58 yrs (± 19), 41% were men. The mean duration of hospitalisation was 7.5 days (± 11.1). The mean absenteeism rate for nurses was 0.24% (± 0.14).</p> <p>All the PS scores were significantly and negatively correlated with rate of short-absenteeism among nurses (MI score: <it>ρ </it>= -0.55, <it>p </it>< 0.01), RS score <it>ρ </it>= -0.47, <it>p </it>= 0.02). The mixed model found a significant relationship between rate of absenteeism among nurses and PS scores (MI: <it>p </it>= 0.027; RS: <it>p </it>= 0.017).</p> <p>Conclusion</p> <p>Results obtained in this study show that short-term absenteeism among nurses seems to be significantly and negatively correlated with PS. Our findings are an invitation to deepen our understanding of the impact of human resources on PS and to develop more specific projects.</p